Search results for "Mathematics::Category Theory"

showing 10 items of 180 documents

Model building on the non-factorisable type IIA T6/(Z4×ΩR) orientifold

2016

We construct global semi-realistic supersymmetric models with intersecting D6-branes on the non-factorisable orientifold . The non-factorisable structure gives rise to differences compared to the factorisable case: additional conditions for the three-cycles to be Lagrangian and extra constraints on the wrapping numbers for building fractional cycles.

010308 nuclear & particles physicsStructure (category theory)General Physics and AstronomySupersymmetryConstruct (python library)Type (model theory)01 natural sciencessymbols.namesakeTheoretical physicsFactorizationOrientifoldMathematics::Category Theory0103 physical sciencessymbols010306 general physicsModel buildingLagrangianMathematicsFortschritte der Physik
researchProduct

"Table 15" of "Search for low-mass resonances decaying into two jets and produced in association with a photon using $pp$ collisions at $\sqrt{s} = 1…

2019

Reconstruction efficiency for $Z'$ model, b-tagged category, single-photon trigger.

13000.0Mathematics::Category TheoryComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)two jets in association with a photonP P --> JET JET GAMMA XLow mass resonance search
researchProduct

"Table 14" of "Search for low-mass resonances decaying into two jets and produced in association with a photon using $pp$ collisions at $\sqrt{s} = 1…

2019

Reconstruction efficiency for $Z'$ model, flavour inclusive category, combined trigger.

13000.0Mathematics::Category TheoryHigh Energy Physics::LatticeHigh Energy Physics::PhenomenologyHigh Energy Physics::Experimenttwo jets in association with a photonP P --> JET JET GAMMA XLow mass resonance search
researchProduct

"Table 13" of "Search for low-mass resonances decaying into two jets and produced in association with a photon using $pp$ collisions at $\sqrt{s} = 1…

2019

Reconstruction efficiency for $Z'$ model, flavour inclusive category, single-photon trigger.

13000.0Mathematics::Category TheoryHigh Energy Physics::LatticeHigh Energy Physics::PhenomenologyHigh Energy Physics::Experimenttwo jets in association with a photonP P --> JET JET GAMMA XLow mass resonance search
researchProduct

"Table 10" of "Search for low-mass resonances decaying into two jets and produced in association with a photon using $pp$ collisions at $\sqrt{s} = 1…

2019

Kinematic acceptance values predicted for the $Z'$ model as a function of mass $m_{Z'}$ for the flavour-inclusive category using the combined trigger.

13000.0Mathematics::Category TheoryHigh Energy Physics::Latticetwo jets in association with a photonP P --> JET JET GAMMA XLow mass resonance search
researchProduct

"Table 12" of "Search for low-mass resonances decaying into two jets and produced in association with a photon using $pp$ collisions at $\sqrt{s} = 1…

2019

Kinematic acceptance values predicted for the $Z'$ model as a function of mass $m_{Z'}$ for the b-tagged category using the combined trigger.

13000.0Mathematics::Category Theorytwo jets in association with a photonP P --> JET JET GAMMA XLow mass resonance search
researchProduct

OPERADS AND JET MODULES

2005

Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalises the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e. obstructions to the existence of connections) in this generalised context. We use certain model structures on the category of $A$-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really de…

14F10Pure mathematicsFunctorPhysics and Astronomy (miscellaneous)Quantum algebraSymmetric monoidal category18G55Mathematics::Algebraic TopologyClosed monoidal categoryAlgebraMathematics - Algebraic GeometryTensor productMathematics::K-Theory and Homology18D50Mathematics::Category TheoryMathematics - Quantum AlgebraFOS: Mathematics18D50; 18G55; 13N15; 14F10Quantum Algebra (math.QA)Tensor product of modulesCommutative algebraAlgebraic Geometry (math.AG)Commutative property13N15MathematicsInternational Journal of Geometric Methods in Modern Physics
researchProduct

The proof of Birman’s conjecture on singular braid monoids

2003

Let B_n be the Artin braid group on n strings with standard generators sigma_1, ..., sigma_{n-1}, and let SB_n be the singular braid monoid with generators sigma_1^{+-1}, ..., sigma_{n-1}^{+-1}, tau_1, ..., tau_{n-1}. The desingularization map is the multiplicative homomorphism eta: SB_n --> Z[B_n] defined by eta(sigma_i^{+-1}) =_i^{+-1} and eta(tau_i) = sigma_i - sigma_i^{-1}, for 1 <= i <= n-1. The purpose of the present paper is to prove Birman's conjecture, namely, that the desingularization map eta is injective.

20F36 57M25. 57M27[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]Monoid[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]Braid group20F36Group Theory (math.GR)01 natural sciencesBirman's conjecture[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]CombinatoricsMathematics - Geometric TopologyMathematics::Group Theory57M25. 57M27Mathematics::Category Theory[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]FOS: MathematicsBraid0101 mathematics[MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR][MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]MathematicsConjecturedesingularization010102 general mathematicsMultiplicative functionSigmaGeometric Topology (math.GT)singular braidsInjective function010101 applied mathematicsHomomorphismGeometry and TopologyMathematics - Group TheoryGeometry & Topology
researchProduct

On monadic quantale algebras: basic properties and representation theorems

2010

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.

Algebra and Number TheoryAlgebraic structureApplied MathematicsQuantaleAlgebraMathematics::LogicInterior algebraDistributive propertyComputer Science::Logic in Computer ScienceMathematics::Category TheoryBounded functionLattice (order)QuantaloidMathematicsDiscussiones Mathematicae - General Algebra and Applications
researchProduct

Obstruction theory in action accessible categories

2013

Abstract We show that, in semi-abelian action accessible categories (such as the categories of groups, Lie algebras, rings, associative algebras and Poisson algebras), the obstruction to the existence of extensions is classified by the second cohomology group in the sense of Bourn. Moreover, we describe explicitly the obstruction to the existence of extensions in the case of Leibniz algebras, comparing Bourn cohomology with Loday–Pirashvili cohomology of Leibniz algebras.

Algebra and Number TheoryGroup (mathematics)Accessible categoryAction accessible categorieObstruction theoryMathematics::Algebraic TopologyAction accessible categoriesCohomologyAction (physics)Action accessible categories; Leibniz algebras; Obstruction theoryLeibniz algebraAlgebraSettore MAT/02 - AlgebraMathematics::K-Theory and HomologyMathematics::Category TheoryLie algebraObstruction theoryLeibniz algebrasAssociative propertyObstruction theorymatMathematics
researchProduct